How do you change an audacity file .aup to an mp3 .mp3 file?

To convert the files, you first load them in Audacity. Then in the file menu there should be an option saying Export to MP3. CLicking that will save it as an mp3 encoded file. However, this requires the LAME library available at sourceforge - http://lame.sourceforge.net/index.php