Given these two bugs in libopenal1, which don't seem likely to have an upstream resolution in the near future, perhaps it would make sense as a short-term workaround to disable the PulseAudio backend when building the Debian package? - Josh Triplett