Small modification to the CMake configuration file.