CMake bug fix