Try installing the libsdl1.2debian-pulseaudio package, as SDL has pulseaudio support, and let me know if that makes any difference.
affects ubuntu/pulseaudio status incomplete
Try installing the libsdl1. 2debian- pulseaudio package, as SDL has pulseaudio support, and let me know if that makes any difference.
affects ubuntu/pulseaudio
status incomplete