Converting mp4 to avi ffmpeg os x command line