* objcopy.c (copy_archive): Keep a list of the names of the