[philandstuff] update VMWARE_DEFAULT_PROVIDER