--- widelands-build17-src/src/main.cc.orig 2013-07-15 13:22:34.201117347 +0200 +++ widelands-build17-src/src/main.cc 2013-07-15 13:22:48.369970197 +0200 @@ -28,6 +28,7 @@ #include #include #include +#include #include