changing vagrantfile