No more libsdl1.2debian-pulseaudio