My bad. I'm not sure it is necessary since these files are hidden away in CMake/...