Vagrantfile: wondering if config/vagrant/defaults.yml is a waste of time