Does it make sense to distribute a package in debian with wglext.h ? http://www.opengl.org/registry/api/wglext.h -M