text: --- src/util/string.hh.orig	2005-04-10 02:09:52.000000000 +0300
  +++ src/util/string.hh
  @@ -20,6 +20,7 @@
   #include <config.h>
   
   #include <string>
  +#include <cstring>
   //______________________________________________________________________
   
   /** Convert a number x to characters and append to a string. */
  