diff --git a/dtool/src/dtoolutil/pfstreamBuf.h b/dtool/src/dtoolutil/pfstreamBuf.h
new file mode 100644
index 0000000000..ecb9688f27
--- /dev/null
+++ b/dtool/src/dtoolutil/pfstreamBuf.h
@@ -0,0 +1,25 @@
+// Filename: pfstreamBuf.h
+// Created by:  cary (12Dec00)
+// 
+////////////////////////////////////////////////////////////////////
+
+#ifndef __PFSTREAMBUF_H__
+#define __PFSTREAMBUF_H__
+
+#include <dtoolbase.h>
+#include <iostream>
+
+class EXPCL_PANDA PipeStreamBuf : public streambuf {
+public:
+  PipeStreamBuf(void);
+  virtual ~PipeStreamBuf(void);
+
+  void flush();
+protected:
+  virtual int overflow(int c);
+  virtual int sync();
+  virtual int underflow();
+private:
+};
+
+#endif /* __PFSTREAMBUF_H__ */