Remove now dead file.