[PATCH] vlc: port to FFmpeg-0.8 API