I'm trying to convert .wav to .mp3. I tried audacity but I don't know where to download the lame file. I tried sox but that doesn't support mp3 encoding? Mplayer with some debian based systems isn't too good so I'm not going to try that. How do I convert a .wav to a .mp3?