--- tools/inspect/path_name_check.cpp.orig 2008-08-17 18:25:14.000000000 +0200 +++ tools/inspect/path_name_check.cpp 2008-08-17 18:29:59.000000000 +0200 @@ -15,6 +15,7 @@ #include #include #include +#include using std::string;