How to make vlc the default player on mac