[57] OpenSSL on linux: also build shared libraries.