CMakeLists bugfix