I've got a rather large amount of Real Audio files that I'm looking to convert to MP3 or OGG files under Linux. These are local files, not streams. I'd love to be able to do this with a bash or perl ...