remove unneeded tools
Merge pull request #5484 from minggo/remove-unneeded-files

remove unneeded tools