Fixing malformed CMakeLists.txt.