The Mac version of Camtasia only supports MPEG-4 (.mp4) as output format for its default project files (.cmproj). This means that cmproj to mp4 conversion is possible, however only using the Mac version of Camtasia.
Unfortunately, there doesn't seem to exist any alternative as Camtasia formats are exclusive to the program.