Predictable random number generator discovered in the Debian version of OpenSSL