Does vlc media player have a library