minor tweaks to bootstrap.sh