Make openssl happy