Camtasia supports export of its projects (.camproj) to the MPEG-4 (.mp4) format by default, so you just have to use the existing share and publish function to export camproj to mp4.
It seems that you really have no other option for camproj to mp4 conversion, because Camtasia projects are only useable in Camtasia, in that particular case in Windows version only.