correct CMakeLists