Fix erroneous FFI declarations using CULong to for uint64_t