Oh, I guess that `config.vm.box_url = "http://files.vagrantup.com/precise32.box"` answers my question. You have already ensured that this will be used on a Debian-like distribution.