Hello: After a recent upgrade, the mixer settings manager offers me the "default" device and nothing else, even after I put /dev/dsp in the "Properties" "device". It has been working properly, but now the mixer has no controls. (Sound works OK, but the mixer is nonfunctional.) Patrick