Fixed bugs in CMakeLists