A bit of vlc/libvlc cleanup: