Removed an obsolete file.