Update Vagrantfile example per @jlund's feedback