Updated Vagrantefile for new versions of Vagrant