Vlc media player how to save preferences