modify vagrantfile