Mpeg4 und MP3 mux'en

Moien

Kennt jemand ein einfaches, kleines Programm das nur doof eine MP3-Datei und eine MPEG4-Video-Datei mux’en kann ?

Ich will das Zeug auf ein sehr reduziertes embedded linux portieren, also fallen mencoder & Co aus.

Danke.