> By the way, now that we have the error demoted to a warning, I guess we can drop the first patch making Hurd an official platform, right ? Yep. Should not be needed. /Sune