is there a camtasia-like software that makes a mpeg file instead of an avi?