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