Correction of CMakeFile.txt