Updates to make VxWorks play nicely with CMake using cross-compilation