Camtasia 3 turning an mp4 into an animated gif