On 05/08/2012 01:05 PM, Niels Möller wrote: > I think it should work fine to just get the gnutls release and apply > Paul's patch to the file gnutls-3.0.9/gl/stdint.in.h before running the > configure script. Yes, that's the idea. Thanks.