Remove seemingly unused files.

... if that's a good thing? Would fix #1045.