Fix Vagrantfile provisioning