default filenames when exporting an unsaved file