issue #2905: Updating tolua settings.