I agree with sracer, pocketDivXencoder does not work with many PC's. If it does work it does a great job but thats just it, IF it works.
You might want to take a look at VirtualDub and encode your videos to DIVX and use BetaPlayer to play them. I have a basic step by step guide on how to do this here
http://bigdsvideo.tripod.com/id7.html