use $TOOL instead of $exe, it's shorter
use $TOOL instead of $exe, it's shorter

thought-machine/please,thought-machine/please,thought-machine/please,thought-machine/please,thought-machine/please,thought-machine/please