archive_patch.sh: some improvements