redundant file deleted.