gnome3: enable pulseaudio by default