Optional specification of output file extension, mostly to deal with Premiere's crappy Quicktime handling.