Add VAGRANT_DEFAULT_PROVIDER