Updating the Vagrantfile