Descobriu-se que o problema era muito simples, tão simples que perdi. Estou incluindo a resposta aqui na esperança de que isso ajude alguém.
Acontece que o programa lame
, que é usado para codificar mp3's em separado, não foi instalado. Tudo o que eu tive que fazer foi:
sudo apt install lame
... e foi isso!
Observe que o método recomendado para codificar mp3 é ripar em wav e reconverter para mp3 por um aplicativo que usa um plug-in de backend diferente, como o Sound Juicer, pois o lame não produz mp3s de alta qualidade.