Does anyone know any video enconders which r sutible for the GP2X? Excluding PocketDivX which I cant get to work T_T