printing u_int64_t caused segfault on 32-bit platforms