Deleting an obsolete file.