Explicitly include libsodium bits
uint64_t requires stdint.h
BSD