use VAGRANT_DEFAULT_PROVIDER for vmware