vlc: replace libav with ffmpeg