Fix bad CMakeLists.txt