vlc mirror from https://github.com/videolan/vlc and git://git.videolan.org/vlc.git