Issue #94: renamed OurGLTools -> GLTools