> + -- By default stdout is unbuffered. This is very slow, hence we explicitly > + -- enable line buffering. Here is a typo, this should of course be "By default stderr is ...". @Nick: Can you amend the patch before applying it or should I send you an other copy? Cheers, Simon