bash_output_fifo blocks on Cygwin 1.7.x;
bash_output_fifo blocks on Cygwin 1.7.x;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle