Bug #6044: actually delete the texture object in mgaDeleteTexture