Deleted an obsolete file.