I believe that Widelands is using libsdl-mixeroggwav package, which is static libsdl-mixer library with ogg support. You should be able to use it as a replacement for libsdl-mixer.