vlc: update to 2.1.2.