More obsolete files.