Il file winmgmt che hai eseguito era per windows 7.
Comunque alcuni file in windows 7 e windows 8 sono uguali.Nel tuo caso winmgmt utilizza lo stesso in entrambi i sistemi(ho controllato,quindi andava bene anche quello che ti aveva consigliato bodhisattva).
Non devi eseguire altro.ciao
Segnalibri