--- tparam.c    2007-03-18 15:58:06.000000000 +0100
+++ tparam.c    2007-03-18 15:58:11.000000000 +0100
@@ -31,7 +31,6 @@
 
 #ifdef STDC_HEADERS
 #include <stdlib.h>
-#include <string.h>
 #else
 char *malloc ();
 char *realloc ();