Could you consolidate steps 2-4 here by just asking them to run `make-distribution.sh` with `--tgz`?