Sound Juicer no permite extraer en mp3

En algún caso puedes encontrarte con que la opción de extraer mp3 en Sound Juicer no está activa y tampoco es posible editarla.
La solución está descrita en esta página. Como a veces los links desaparecen, resumo a continuación el procedimiento.
Básicamente hay que abrir una consola y escribir (también puedes copiar y pegar)
sudo apt-get install gstreamer0.10-plugins-ugly-multiverse
como es habitual, al apretar Enter te pedira la Password (ojo, no se refleja en la pantalla cuando la escribes). La introduces, aprietas nuevamente Enter y la pantalla empezará a mostrar líneas de mensajes de instalación.
Cuando acabe abre el Sound Juicer ( Aplicaciones / Sonido y Video / Extractor de música de CDs Sound Juicer ), y en el menú del programa Editar/Preferencias, si despliegas el apartado Formato de salida, verás un par de opciones más, entre ellas CD quality, MP3