If you don't see DivX 5.0.x or Lame MP3 or any other codec we discuss, that means you don't have it/them installed on your system.
DivX is at
http://www.divx.com just get the basic free version, it's all you need for Pocket PC encoding.
Is there an english language version of
what software? Everything in the basic list (DivX, VirtualDub, etc.) are all english by default, unless you downloaded a language pack or a different language version.