Patch to add OpenSSL support to EiffelNet: so far this is not working, and linux only