Silly fix for a NVIDIA bug in the OpenCL driver. It avoid segfaults.