You're right, I also think that it's only a file problem and not a camtasia bug.  Much better if you could replace it with a better version.  Otherwise, your statement in here is enough to prove that camtasia is working well as expected.