Update Vagrantfile for newer versions of Vagrant