diff --git a/Fltk/GUI_Extras.cpp b/Fltk/GUI_Extras.cpp
index 95519dec1f790715c4d8ce52670bdc45268da825..5bc98c3f0ec694ffeb9b871bfa24ed3929240063 100644
--- a/Fltk/GUI_Extras.cpp
+++ b/Fltk/GUI_Extras.cpp
@@ -1567,7 +1567,7 @@ int cgns_write_dialog(const char *filename)
 
 #else
 
-int cgns_write_dialog(const char *const name)
+int cgns_write_dialog(const char *filename)
 {
   CreateOutputFile(name, FORMAT_CGNS);
   return 1;
diff --git a/Fltk/GmshServer.h b/Fltk/GmshServer.h
index 87eef0e5c7ddd1d62d398243cd2275ba27abf97d..8bb5781fa129a1330999165451007a17c845fe5f 100644
--- a/Fltk/GmshServer.h
+++ b/Fltk/GmshServer.h
@@ -6,7 +6,7 @@
 #ifndef _GMSH_SERVER_H_
 #define _GMSH_SERVER_H_
 
-void SystemCall(const char *str);
+int SystemCall(const char *str);
 int WaitForData(int socket, int num, double waitint);
 
 #include <stdio.h>