better file names in make_zip