In the case if VAGRANT_DEFAULT_PROVIDER is set