Ubuntu 12.04 LTS ships SDL_mixer 1.2.11-7, and is affected by this bug as well.
Alternate fix is to turn off the music.
Ubuntu 12.04 LTS ships SDL_mixer 1.2.11-7, and is affected by this bug as well.
Alternate fix is to turn off the music.