added VAGRANT_DEFAULT_PROVIDER