little CMake issue