vlc alias for OS X