How to convert avi files to play on Zen micro using OSX