vlc: update to 2.0.7.