[Bug 537780] setup-pulseaudio --disable does not actually disable PulseAudio