openssl.txt: updated OpenSSL filelist