Index: trunk/src/gui/gui_environment.cc
===================================================================
--- trunk/src/gui/gui_environment.cc	(revision 395)
+++ trunk/src/gui/gui_environment.cc	(revision 401)
@@ -9,4 +9,5 @@
 #include "nv/gui/gui_renderer.hh"
 
+#include <algorithm> // std::find on std::list
 
 	/*