I upgraded from version 3 to 4. I just used replay media catcher to record some video. The files are there without any file extension appended. What format should they be in default?

Thank you,

Mel