--- wesnoth-1.8.5/src/server/simple_wml.hpp.orig 2009-10-08 21:38:22.000000000 +0200 +++ wesnoth-1.8.5/src/server/simple_wml.hpp 2011-05-04 19:32:54.845421388 +0200 @@ -3,6 +3,7 @@ #include +#include #include #include #include