Restored rbx1_nav/CMakeLists.txt to original version