archive_read_open_filenames (#11, #12)