When the bug is fixed but the CVE isn't: inside curl's first dispute with MITRE — type0 | type0