FFmpeg 1.2.12 release