Fix compilation: remove non-existing file (in repo) from CMake.