Defaults tools must be installed in "tools/" directly