Get rid of this obsolete file.