use new implementation in vector cross operation, add recording #include