update killtree
Merge pull request #1791 from bdecoste/master

update killtree [merge]