Guys, I'm reviving this thread here. It turns out that Emeric had some concerns about possible impacts of the patch, maybe in part due to the openssl API though I'm not sure I understood everything right. I found it more efficient to involve all people who expressed opinions in this thread so that we end up with a solution which satisfies everyone.
Thanks, Willy
