Audacity selbst kann keine mp3 enkodieren (die Downloadversion hat aber ogg-Support, also scheint das statisch mitkompiliert zu sein). Stattdessen fungiert es als Frontend für LAME, was auch der wohl beste freie mp3-Encoder ist. Nur LAME zu laden würde an sich auch ausreichen, wenn man mit der Kommandozeilen-Bedienung klar kommt (und wer das nicht tut, ist offen gesagt ein Idiot). Ansonsten halt noch ein dafür geeignetes Frontend. Audacity ist eher dafür da, Audiodateien zu bearbeiten und kann halt nebenher das ganze noch in mp3 ausgeben.