Get rid of an obsolete file.