FFmpeg: Bump to version 2.4.2