--- a/stage4/stage4.hh	Fri Jul 20 22:07:15 2007 +0200
+++ b/stage4/stage4.hh	Wed Jul 25 18:03:27 2007 +0200
@@ -38,7 +38,7 @@
 
   public:
     stage4out_c(std::string indent_level = "  ");
-    stage4out_c(const char *radix, const char *extension, std::string indent_level = "  ");
+    stage4out_c(const char *dir, const char *radix, const char *extension, std::string indent_level = "  ");
     ~stage4out_c(void);
 
     void indent_right(void);