By the way, KDE 2.1 has new multimedia player which supports DivX.
It isn't avifile-based so maybe it will run. Please let me know
if someone gets it working (I don't think fixing avifile is possible 
at the time but I'm specially interested in DivX player).

-- 
/* [zuntum] zuntum@eik.pl , [WWW] http://zuntum.net */