Adding the WMI provider