ffmpeg: update to 2.5.2.