Update vlc (minor bugfix).