Oops - Looks like a check got missed. Change the top of device.c to add:
#ifdef HAVE_GL_GLEXT_H <--- Add this #include <GL/glext.h> #endif <---- and this #include <GL/glxext.h>
Note the #include <GL/glxext.h> may need to go inside the #ifdef.
Apologies for these problems... We will sort them out asap. Can you please let me know if this helps, and whether the glxext needs to be inside the #ifdef as well
Jason