Fix OpenCL build after 38218fe3