Minor modifications in vagrant config/provisioning