On 11 Jan 2024 17:07, Neal Frager wrote:
> +	[with_tooldir=]

delete this line -- you're erroring out, so there's no need to set it
-mike