vlc: make it work with ffmpeg 2.4.2