Fix CMake configuration (forgot to add a file in the last commit).