vlc: update from 2.1.2 to 2.1.3