se ti interessa solo l'audio puoi anche fare così:

mencoder (file d'origine) -ovc frameno -oac mp3lame -lameopts br=128:cbr -o (file destinazione.mp3)

l'opzione -ovc frameno elimina l'encoder del flusso video

puoi anche crearti un alias se non vuoi digitare tutto il comado ogni volta. In .bashrc

alias audioenc='mencoder -ovc frameno -oac mp3lame -lameopts br=128:cbr'

poi ad esempio audioenc pippo.wma -o audio_pippo.wma