I've got some files which are converted to mp4 how can i convert them to avi, pocket divx encoder doesn't convert them at all.