ffmpeg: update to 2.4.2.