--- ./options/options.ih.orig 2013-06-21 11:16:34.000000000 +0200 +++ ./options/options.ih 2013-11-27 18:56:37.000000000 +0100 @@ -4,6 +4,7 @@ #include #include #include +#include using namespace std; using namespace FBB;