Risposta:
Probabilmente si tratta di un falso allarme. Tuttavia, la questione dovrebbe essere approfondita, poiché il software dannoso può camuffarsi da qualsiasi file.
Consigliamo di far controllare il file tramite questo servizio:
https://www.virustotal.com/gui/home/upload
Questo servizio gestito da Google esamina il file con oltre 70 diversi programmi antivirus e scanner malware.