fix problem in CMakeLists.txt