devtools

dc51f97c - Improve error running devtools_tool from a different folder (#6489)