Added -DVxWorks=1 to CMakeLists.txt to facilitate platform independence