change the Vagrantfile