extra/pulseaudio fixes