changes in vagrantfile for vagrant 1.3.3