| Your fix seems to work for my system. Thank you. Could the
| problem be that the
| headers associated with NVIDIA linux driver are OpenGL version 1.2?
No, there are actually two problems. The first is that there is a typo in
the source code for the GL.EXT.texture_object module. The second is a bug
in NVidia's GL header which supports the GL_EXT_texture_object extension but
does not declare any of the enumerants associated with that extension. This
would not be problem, but the macro GL_EXT_texture_object is also not
defined. It is required as an indication that the header supports this
If you have a chance try using the file that I have attached. Put it into
src/interface and make sure that you undo the previous fix that I gave you
before trying it out. This will tell if I can create a general workaround.