another minor change to the vagrant bootstrap script.