missing typedef from cl_ext.h