minor changes in vagrantfile