Updated vlc media player download