Ok, I wonder if this change will do it for you:

At the top of device.c
#ifdef HAVE_GL_GLEXT_H
#include <GL/glext.h>
#endif
#ifdef HAVE_GL_GLX_H
#include <GL/glxext.h>
#endif

Jason

Reply via email to