Até agora o único que conheço.
sudo aptitude install soundconverter
Se a opção para converter em mp3 tiver desactivada nas preferências.. a solução é facil:
uma vez mais.. familia GStreamer obrigado por existires
sudo aptitude install gstreamer0.10-lame
ou um mais recente caso haja.