On Wed, Mar 15, 2023 at 10:14:39PM +0800, Carlo Cabrera wrote:
> 
> > On 15 Mar 2023, at 21:53, Thomas Adam <thomas@xteddy.org> wrote:
> > 
> > Thanks; I will take a look at this later on.
> > 
> 
> Thanks, Thomas.
> 
> Stefan's hint led me to this patch. No idea if it's correct, but it makes the
> segfault go away.

Please can you try the `macos/getopt` branch -- and let me know if that solves
the problem for you?

Kindly,
Thomas