Check_MK Werk 5924: Windows: Use WMI for process monitoring by default