Use correct printf format for uint64_t

Signed-off-by: Martin Lucina <martin@lucina.net>