change internalFormat args in glTextureImage*DEXT to int, as per spec