Header stdint.h defines uint64_t not u_int64_t

Type int64_t is defined by the ISO C99 standard and is defined in
stdint.h. Any C99 (or also C11) compliant implementation will have that.
Most importantly u_int64_t is not standard as far as I know.