I do not claim to understand how virus scanners work, but if this is a known problem a month ago, then why did it infect my computer that has avast installed now, a month later then this post? By the way, I used malwarebytes by itself and it took care of the problem. Have a Merry Christmas.