Improved OpenGL extension logging (and usage)