Redundant file deleted.