Merge "Remove dead tools."