use hardwired /tmp -- fifo only work on local file-system;
use hardwired /tmp -- fifo only work on local file-system;

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