tgui-headers to support little customizations