Issue #33: renamed GLTools to TextureTools