Using new configuration format for Vagrantfile