diff -r 18c37827b40e -r 7348d6abb6cb tool/main.cpp --- a/tool/main.cpp Wed Sep 24 08:51:46 2008 +0000 +++ b/tool/main.cpp Wed Sep 24 10:28:59 2008 +0000 @@ -6,6 +6,7 @@ #include #include // basename() +#include #include #include