generate human-readable filenames (#339)