audacity mp3 encoding library