bugfixing in CMakeLists.txt