change archive name in make-dist.sh