bug in CMakelist.txt