Fix build on amd64 platform

The uint64_t needed a different printf code.