a few more changes to the vagrant provisioning