another fix in CMake