diff --git a/src/GUI/Highlight.cxx b/src/GUI/Highlight.cxx
index 4ea1e0d8c..76990781a 100644
--- a/src/GUI/Highlight.cxx
+++ b/src/GUI/Highlight.cxx
@@ -16,6 +16,7 @@
 #include <algorithm>
 #include <map>
 #include <string>
+#include <iterator>
 
 
 /* Returns translated string for specified menu/menuitem name. */