Comment by Freak_NL

Probably:

    git rm -r .
    git add EQNEDT32.EXE
    git commit -m "Fixed CVE-2017-11882"
    git push

(Provided someone automatically updated the code repository to git or some other modern tool in the past 17 years.)