delete a redundant file