Update for FFmpeg 1.1.12