Remove two obsolete files.