Tweak vagrant_bootstrap.sh