--- a/src/mongo/shell/linenoise_utf8.h 2015-05-18 19:41:49.000000000 +0200 +++ b/src/mongo/shell/linenoise_utf8.new 2015-07-29 23:18:50.384654868 +0200 @@ -17,6 +17,7 @@ #include #include +#include namespace linenoise_utf8 {