tweak to get-gl-extensions by devon