DivX is not really free.
You have to pay for the encoder and it is not free to give the codec away in a commercial project.
I can't find the figures, but there is a link to request more license info for commercial users.

DivX for PC Games Brochure

-- slacer