--- rekall-2.4.5/support/dbtcp/dbug.c.BAD	2007-01-17 20:17:15.000000000 -0600
+++ rekall-2.4.5/support/dbtcp/dbug.c	2007-01-17 20:17:23.000000000 -0600
@@ -203,7 +203,7 @@
 IMPORT int fclose ();		/* Close a stream */
 IMPORT FILE *fopen ();		/* Open a stream */
 /*IMPORT int fprintf ();		Formatted print on file */
-IMPORT int vfprintf ();		/* Varargs form of fprintf */
+/*IMPORT int vfprintf ();		Varargs form of fprintf */
 IMPORT VOID free ();
 IMPORT char *malloc ();		/* Allocate memory */
 IMPORT int strlen ();