Use new Vagrantfile