Hi M?ns, M?ns Rullg?rd wrote: [...] >> I'll try to test some older version of debian later... > > We've already confirmed broken headers on some version of Ubuntu > causing this problem. I reckon it's the same thing here. Ah, ok; I did not know this. Sorry for the noise, then. Luca