Include uint64_t definition (stdint.h) in common-opencl.h.