modified:   khronos/GLTexture.lua