The videos are encoded using the DivX codec (version 5.1.1).
It can be downloaded from: http://www.divx.com