Non so dire, so solo che me lo aveva trovato la scansione on-line di Trendmicro, ma non riusciva a cancellarlo; l'avevo fatto io manualmente con qualche difficoltà. Avevo e ho tuttora Avast free, ma in quell'occasione non so per quale motivo non me lo aveva segnalato; d'altronde non sono un esperto, quindi non insisto.
P.S. Carlo, se non riesci diversamente, fai come ho fatto io.