These are slightly patched header files from utah-glx. See
http://utah-glx.sourceforge.net.
