normalize tool name in shell script and everywhere else