tdx_tool build