From time to time various anti virus makers have an update that incorrectly tags a file infected with a virus.
The quickest way to get this fixed is to report it directly to the anti virus product...