exporting files (with sensible filename)