Release for FFmpeg 2.4.2.