Don't be lazy when printing openssl version numbers