doc: better path string for the tools