Lame had ik dus niet geïnstalleerd... Nu wel, en w32codec ook, maar geen verschil. Uiteindelijk Sound Juicer opnieuw geïnstalleerd, maar weigert nog steeds om actieve mp3 profielen onder Uitvoerformat weer te geven. Ogg wel, dus het probleem lijkt alleen met mp3 te bestaan.
edit: O.k., ik was te snel. Had de "Ubuntu restricted extras" nog niet geïnstalleerd. Nu kan Sound Juicer wel overweg met mp3, al zie ik niet wat dit nu voor verschil maakt. Probleem in ieder geval opgelost.