Permit 8192-byte headers in 32-bit files