Revert "default tool"

This reverts commit 6252418c6b422ca3148afc48fdb2850ab5dee5fe.