Adapt CMake to new file name.