linux needs the stdint.h for uint64_t