use Xvid to encode for GP32, you dont have to use Divx4
also I noticed when I installed AutoGordian Knot the other day that it installed an extra xvid+divx5 codec with a different 4cc code. Maybe try installing that then install divx 4.12, they should all co-exist.