--- src/core/debug.h~	2000-10-28 03:15:19.000000000 +0200
+++ src/core/debug.h	2003-07-14 06:16:37.000000000 +0200
@@ -43,7 +43,7 @@
 
 
 #include <iostream>
-#include <varargs.h>
+#include <stdarg.h>
 #include "types.h"
 
 //