Add missing extra objects to OpenSSLEngine.so
Add missing extra objects to OpenSSLEngine.so

Now, OpenSSLEngine.so can be fed to OpenSSL
with the engine command.

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star