Update to new Vagrantfile format