a workaround: update opencl_numeric.h