Small CMake change