Convert avi file to mp4 on mac