update Vagrantfile