Could you see if this problem is fixed (or rather, workarounded) by installing libsdl1.2debian-pulseaudio ?
Could you see if this problem is fixed (or rather, workarounded) by installing libsdl1. 2debian- pulseaudio ?