correct CMakeLists.txt