Temporary hack for 64-bit file IO