ok, now for the mysterious wizardry that is exporting a file from premiere