diff --git a/Fltk/GUI.cpp b/Fltk/GUI.cpp
index 09ea8127e3931bddc0de2587d2b0848538c97d68..cf1fb996729aed6cce4041fefe893f8f71a0186b 100644
--- a/Fltk/GUI.cpp
+++ b/Fltk/GUI.cpp
@@ -15,6 +15,8 @@
 #include "GUI.h"
 #include "Callbacks.h"
 
+//int strtok_r(char *, char const *, char **){return 0;}
+
 extern Context_T CTX;
 
 // Definition of the static menus
diff --git a/Fltk/GUI.h b/Fltk/GUI.h
index 5595d2bd74a3e763434d067e8a8cc854a75edce1..b1c1c26c09bd92fe139d12e0202be4c689f48d16 100644
--- a/Fltk/GUI.h
+++ b/Fltk/GUI.h
@@ -52,7 +52,7 @@ class GUI{
   Fl_Window  *m_window, *g_window, *gen_window, *geo_window ;
   Fl_Window  *mesh_window, *post_window, *stat_window ;
   Fl_Window  *view_window ;
-  Opengl_Window    *g_opengl_window ;
+  Opengl_Window *g_opengl_window ;
   
   // We keep the following widgets for easy further reference