Re: [PATCH v2] curl: Fix CVE-2023-38545