public String getOutputPipe() {
   if (!PMS.get().isWindows()) {
     return linuxPipeName;
   }
   return mk.getPipeName();
 }