ffmpeg-0.7.12 for android