core: prefer providers in the Vagrantfile [GH-3812]