vlc: update to 2.1.3.