Correct CMakeLists.txt (again)