I've seen a few Window$ apps which will encode the output from your sound-card as an MP3 file. Has anyone come across a way to do the same under Linux?