On Thu, Nov 13, 2008 at 12:23:39PM +0100, Diego D'Onofrio wrote: > Hi Nigel, you are welcome. > > This also work for me. Thank you for your answer. By the way, that was a non-hurd specific bug: http://bugs.debian.org/503757 Michael