update Vagrantfile.