`vagrant up` says what provider it will use