Use gnulib's `stdint' module to avoid issues with uint64_t.