Vlc media player for mac command line options