Different vlc aliases for Mac and Linux