Official Android OpenSSL patched to build as an external project with the Android NDK