vlc: build with new ffmpeg 2.4.2