Eliminate unused priv field of TOOL.