Adapt to glDebugCallback API change in gl/util