delete file

This has been renamed.