am 59acfee6: am f3c8eb83: Merge "Remove dead tools."

* commit '59acfee63f77b23c1a1bcc5fd869c5cb2db8e4ea':
  Remove dead tools.