Changes in vagrantfile