Removed an outdated file.