Use default uint64_t definition (stdint.h) for non-OpenCL code.