I read some where that divx file can be compressed for the GP32. Is this true? What program do you need to use for this?