add VAGRANT_DEFAULT_PROVIDER for Darwin systems