Bugfix in CMakeLists.txt due to last commit