fix printf uint64_t under 32-bit systems