Vlc media player for mac mavericks