I know the various mencoder based solutions for Linux (tablet-encode...) and they are quite good except that they are lacking a decent GUI (yeah I know there are some minimalistic GUIs available).
No need to distribute mencoder or any codes along with the GUI. I guess every Linux user is able to install mencoder from the repositories of his preferred distribution.