little fix for cmakefile.txt support