Make the sound widget work with pulseaudio.