deletion of a redundant file