Bad Vagrantfile update (whoa?)