am f3c8eb83: Merge "Remove dead tools."

* commit 'f3c8eb838db02a5fc215e178e4eb319831894d48':
  Remove dead tools.