Are there really common OpenSSL's which don't support AES CTR?