Hi, I'll reboot all the freedesktop.org servers for new kernels tomorrow (Friday) morning, hopefully fairly early, european time. Downtime should be minimal, just a few minutes per host. Regards, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are