Removed another obsolete file.