<div dir="ltr"><div><div><div><div><div><div>Hello,<br><br></div>I'd like to suggest the following patch.<br></div>On my laptop, running brew everytime to get the gnu-getopt command is very time consuming:<br><br></div>Without the patch: 0.44s user 0.20s system 68% cpu 0.938 total<br></div>With the patch: 0.03s user 0.02s system 17% cpu 0.255 total<br><br></div>Regards,<br></div>Julien<br></div>