Actually remove that file.

I haven't got the hang of moving things tidily yet.