fix CMakeLists.txt problem