Make many.c safe for even larger number of files, no more 32-bit limits