Fix usage of 64-bit IO functions

Change-Id: I8751de19a37c1d57997488dd29b42d0daa66cfc1