synching to master openssl.c