[Linux-Biella] estrarre MP3 da MP4

[vallini.daniele a bilug.linux.it]

Registro senza problemi i video di youtube.

Vorrei estrarre solo l'audio MP3 da video MP4.

So di avidemux e mencoder ma non li ho mai provati.

Non li trovo nella distribuzione Debian stable e molto mi sorprende in
particolare per mencoder che e' strettamente imparentato con mplayer.

Qualcuno ha esperienza di quanto sopra e puo' darmi un primo consiglio?

E' consigliabile compilarseli o vanno bene anche i binari?