Fix code to work with the Mali OpenCL fix of the PENCIL headers