On Thu, 2004-12-23 at 21:36 +0100, Benedikt Meurer wrote: > Works for me - only the path of the input file changed, else the sed > command is exactly the same as before. Indeed, I think we just triggered an old problem - It's not related to your "distcheck" changes of last night. Apologies :) Olivier.