Neuen Codec deinstallieren, alten Codec installieren.

Im Fall von DivX 5 kann man bei der Installation angeben, welchen Codec er für DivX 4-Videos benutzen soll (4 oder 5), vorausgesetzt, DivX 4 ist installiert.