Ho anche io Audacity (versione 1.2.6) ed ho appena riprovato (l'avevo impostato con la lingua italiana, l'ho reimpostato in inglese)

File - Export as .mp3 (e ti chiede semplicemente il nome del file)

Immagino che ora sia così semplice perchè la prima volta gli avevo detto di usare questa libreria lame ed ora se lo ricorda...

Puoi anche andare su Edit - preferences - file format e nella parte inferiore c'è un "MP3 export setup" mediante il quale puoi indicargli dove si trova questa libreria lame

Che versione hai tu ?