Make update_archives.sh compatible with older versions of git