ffmpeg: update to 2.3.1.