Check out some options how trec files might be converted to mpeg4 format.
Camtasia screen recording software can export its recorded sessions to several other multimedia formats, including the WMV. This can be done simply by using the Produce and Share function in the program, where you change the option to Custom production settings and in the next step select MP4, which is MPEG-4.
The Mac version of Camtasia also supports MP4, that can be simply renamed to MPEG4 should you need that.
Unfortunately, there is no detailed software record in the database for this conversion.
Back to conversion search