change export file name handling to (hopefully) cope with FAT32 and similar fussy filesystems