Fix a broken CMake build file.