Fixing the CMake script