change dolphin's sound driver from ALSA to pulseaudio