[vlc] Update to 3.0.7.1