Vlc player auto clear history osx 2017