Searching in dist/tools