What format does the export option use to encode the videos? I've done a couple of exports on the MacOS version and they show up as Quicktime files but they cannot be opened by any application that I tried (Quicktime Player, VLC, Compressor, After Effects, etc.). Just wondering if I'm doing something wrong or if it is a bug in the software.