Support large files on 32-bit Linux