Fix tool installation in setup script

Christian Rochacommitted parent d1567aff8817860531115bbe34b77212a35d6ef4f8be3f0Browse files
1 file changed+8−5

Rendering diff…