--- a/stage4/stage4.cc	Fri Apr 15 09:45:27 2011 +0100
+++ b/stage4/stage4.cc	Tue Apr 19 09:36:59 2011 +0100
@@ -93,6 +93,10 @@
   }
 }
 
+void stage4out_c::flush(void) {
+  out->flush();
+}
+
 void stage4out_c::enable_output(void) {
   allow_output = true;
 }