--- src/texteditbox.cc.orig	Mon Dec 23 04:02:07 2002
+++ src/texteditbox.cc	Mon Dec 23 04:02:22 2002
@@ -5,6 +5,7 @@
 \********************************/
 
 #include <stdlib.h>
+#include <string.h>
 #include <gtk/gtk.h>
 #include <gdk/gdkkeysyms.h>