Bug fixed in CMakeLists.txt