Reload WMI provider configuration when file changes