I would greatly appreciate if someone could please tell me how to set the default encoding to AVI in Camtasia 2018 on a Mac OS X platform. I am recording my lectures and processing them automatically on a Linux box and TREC file format does not fit in my workflow. Camtasia 9 running on MS Windows provides an option to set AVI as a default format. I do not see any such functionality in Camtasia 2018. Needless to say, this is very annoying.