fix linux compile issue

uint64_t not available in util.h depending on how headers are parsed.