On linus it seems that we really need to make sure to include <stdint.h>
On Mac it seems we got away without doing that consistently and "uint64_t" was available by standard.