small CMake file fix