Delete an obsolete file.