I have been struggling to re-encode divx movies to a smaller size. I am using mencoder under linux. It seems like i am doing everything right, the movies play using mplayer and xine, although as soon as i try it on the gp2x i get "unsupported file type." mplayer also says that the file is...