What name of virus does avast report, exactly? And can you see the file c:\windows\system32\arotmmk.dll in Explorer?