well i don't have divx,
im using Media Player Classic, (with the mastroka plugin, plus Real Alt.)
and i never got any problem