Correct CMakeLists.txt.