O problema ainda existe no Ubuntu 13.04 (64 bits). Eu posso tocar midi com vlc (fluid-synth) e timidity, mas não consigo com o Totem / audacitous que fica me dizendo para procurar pelo decodificador de áudio / midi e não consigo encontrá-los. Eu tentei todos os tipos de solução wildmidi / fluidsynth / gstream-bad / timidity que eu poderia pensar.
Meu objetivo final é reproduzir arquivos midi no chrome / firefox, mas isso não funciona. Pena de ver midi mais e mais sem suporte enquanto WebMIDI está começando a apontar em HTML5