Как исправить Cannot connect to WMI provider

Откуда взялась беда неизвестно. Возникает на x64 машинах с x32 SQL сервером.
Источник предлагает решать так:
В терминале перейти в папк C:\Program Files (x86)\Microsoft SQL Server\100\Shared
100  -- скорее всего будет отличаться для конкретного случая.
В этой паке должен быть файл sqlmgmproviderxpsp2up.mof
Запустить команду mofcomp sqlmgmproviderxpsp2up.mof

Вуаля!