[SECURITY] curl: Patch against CVE-2013-1944