This prevents naming conflicts if someone names 2 tools installations
of different tools with the same name.