ffmpeg: bump to 2.4.2
MPlayer: build with new ffmpeg
vlc: build with new ffmpeg 2.4.2