Convert MP4, MP3, WAV, MOV and extra to any format online. Underneath linux, I find python-audio-tools does precisely what I would like. Sadly, I haven't been able to get it to encode to mp3 below OSX It might work for you, although. It's …