We tested it now and apparently it was actually our phone's native zip unpacking function. If I use a different (actually good) app to unpack the same file, the file numbers work fine. Weird! But it works for us now, so problem solved anyway.