--- mongodb-src-r2.2.4/src/mongo/shell/linenoise_utf8.h~ 2013-04-01 04:41:49.000000000 +0200 +++ mongodb-src-r2.2.4/src/mongo/shell/linenoise_utf8.h 2015-02-18 19:25:42.158352512 +0100 @@ -17,6 +17,7 @@ #include #include +#include namespace linenoise_utf8 {