config_bsdi.h patch file

BSD/OS do not have uint64_t