One more minor touch up of opengl extension loading.