            returncode: 1,
                    stdout: "",
                    stderr: `File is not executable: ${JSON.stringify(argv[0])}`,
                };
                debug_log(result);
                return result;
            }

            argv = [...extra_args, ...argv];
            debug_log(argv, opts);

            const tool = await tools[tool_name];
            const result = await tool.exec(argv, {
                ...opts,
                cwd: opts.cwd || "/",
                path: ["/em