Fix broken CMakeLists.txt