For the record, DivX *is* entirely one of the formats supported by the built-in media framework; used by Media Player and Canola.

It's just finnicky about the bitrates and resolutions of the DivX file in question, and the fourcc code used. More details in the wiki.