если очень хочется есть простые проги типа vsound которые снимают цифру непосредственно с /dev/dsp путем подгрузки своих библиотек вперед системных. то есть играете mplayer дорожку, получаете wav на диске, дальше его можно зажать в mp3. Удобный способ конвертации *.ram и прочих проприетарных форматов.