FIX: dash incompatibility for bootstrap.sh

meh!