archive_files no longer does anything if the input file is already in the archival pool