don't crash if tool in not an int8
Merge branch 'master' into garyburd