Oui la solution la plus simple est de re-installer divx4
ou de telecharger la dernier version de mplayer qui va autodetecter la version de divx pour mettre les bon parametres
Sont pas gentils chez divx network de sortir des librairies non compatibles entre elles avec le meme nom en plus.