turn set -ux back off in util.sh