Bugfix in CMakeLists