Oops, a couple bash scripts were still missing set -e