repaired CMakeLists