googled “avi to mpeg4 converter open source” and came up with this
http://mp4cam2avi.sourceforge.net/