How to change vlc to default player mac