simplify CMakeFile.txt