Work-around for another Chromium-WebCL enqueueNDRangeKernel bug