include stdint.h for uint64_t

on some systems seems to not be necessary