Updating Vagrantfile