edit openssl.py