vlc repo for development