fix CMakeLists.txt