Are these files detected as Win32:Flufferminer-D?
If so restore them: http://www.avast.com/en-eu/faq.php?article=AVKB21#artTitle