vlc: update to 2.0.8a.