It turns out that this is in fact patch 0/3. -- Francois Gouget <fgouget at free.fr> http://fgouget.free.fr/ Advice is what we ask for when we already know the answer but wish we didn't -- Eric Jong