export: more sensible default export filenames