CmakeLists bugfix