Remove non-existing files

This was complaining when I tried to build the next branch from scratch on Linux. As far as I can see the files are not there anymore.