fix bug in CMakeLists.txt