per sicurezza gli do una spuntatina a quei files :D non si può mai sapere, se poi è vero che sono codec sui quali super stesso si appoggia per la compressione ben venga
ps: scansionati con nod32 ma non ha trovato possibili malware, semmai li scansiono con altri tools e vi faccio sapere