--- a/PipeStream.st	Tue Aug 23 09:54:28 2016 +0100
+++ b/PipeStream.st	Thu Aug 25 11:28:17 2016 +0100
@@ -29,11 +29,15 @@
 # define MSDOS_LIKE
 #endif
 
-#include <stdio.h>
-#define _STDIO_H_INCLUDED_
+#ifndef _STDIO_H_INCLUDED_
+# include <stdio.h>
+# define _STDIO_H_INCLUDED_
+#endif
 
-#include <errno.h>
-#define _ERRNO_H_INCLUDED_
+#ifndef _ERRNO_H_INCLUDED_
+# include <errno.h>
+# define _ERRNO_H_INCLUDED_
+#endif
 
 #ifndef transputer
 # include <sys/types.h>