Comment # 10 on bug 1166635 from V��t��zslav ������ek

The pull requests mentioned above are part of gnutls 3.6.13, which has just
been submitted. I also fixed the nettle so number in the gnutls fips code.

In order to make the FIPS mode work, the problem from comment 4 still needs to
be fixed.