Ubuntu 13.10 requires a restart before the PulseAudio settings take
effect