Removed obsolete file.