--- src/error.c.orig 2008-04-06 11:35:54.000000000 +0200 +++ src/error.c 2008-04-06 11:36:22.000000000 +0200 @@ -38,11 +38,7 @@ #include <stdio.h> #include <gtk/gtk.h> -#if STDC_HEADERS -# include <stdarg.h> -#else /* not STDC_HEADERS */ -# include <varargs.h> -#endif /* not STDC_HEADERS */ +#include <stdarg.h> #include "misc.h"