Has anyone worked with encoding divx in linux?  I&#39;ve got video (avi, mpeg, etc) files (some in older divx codec encoding) that I want to re-encode in newer divx for use with my xbox360 (the ones already in DivX are too old).  Can anyone recomend a good DivX converter for linux?  I tried DivxConverter but I had issues with it.<br>