Removed an accidental useless file.