--- tools/dlgstrip.cc.orig Mon May 14 05:25:23 2001 +++ tools/dlgstrip.cc Wed Dec 25 11:21:16 2002 @@ -13,6 +13,7 @@ #include #include #include +#include /** * DANGER!!! DANGER!!! DANGER!!! DANGER!!! DANGER!!! DANGER!!! DANGER!!!