[vlc] Update to 3.0.20