use pulseaudio on linux as the default