FFmpeg 3.4.2 release