[PATCH] attempt to make make.sh more shellcheck compliant