php rc4 encrypted as openssl c