Fix bad precise32-vcenter.box URL in example Vagrantfile