updating Vagrantfile