Fixing CMakeLists.txt