Updating VLC Player – here’s how