Fix some Vagrant provisioning issues