Works much less than before, especially under windows: probably more
problems with output redirection.