soluzione da falegnameria: rimuovi tutto il pacchetto divx facendo tabula rasa, quindi installa il player aggiornato coi nuovi codec. Probabilmente qualcosa è andato storto nella fase di aggiornamento.

-San-