Issue #9720: zipfile now writes correct local headers for files larger than 4 GiB.