Нет, теперь всё нормально, оказывается перезагрузиться надо было. Вообще странно, что NOD32 не нашёл ни одного вируса, а DrWeb - целых 17...
Тему можно закрыть.

P.S. Shevaldin'у мегареспект!