stop WMI provider host from using so much CPU