Replace openssl-1.0.1f.diff by a tgz, what is easier to maintain