Use system's glext.h/glxext.h on linux.