Du har ju gjort en sökning på den ursprungliga installationsfilen. Det är ju inte den som hans antivirusprogram reagerat på, utan något förknippat med en uppdatering.
Voffeopen, gör en sökning på virustotal.com, på den filen som ditt antivirusprogram reagerade på. Hade varit intressant att se resultatet.