Bug en la especificación de OpenCL 1.2

Creo que existe un bug de lo más absurdo en la última especificación de Khronos para OpenCL 1.2. He reportado el fallo en sus foros oficiales, pero de momento no hay respuesta.

Supongo que lo arreglarán (si no me he equivocado claro), pero de momento, a todo aquél que necesite las cabeceras, debe modificar cl_ext.h.

Me parece que funciona bastante mal el sistema por el que se liberan las especificaciones de Khronos, y una prueba de ello es este error, pero más flagrante todavía es la chapuza que hay montada en torno a las extensiones para D3D.