change Vagrantfile