Fixes bug in tools installation