Index: /issm/trunk-jpl/src/c/classes/ToolkitOptions.cpp
===================================================================
--- /issm/trunk-jpl/src/c/classes/ToolkitOptions.cpp	(revision 14634)
+++ /issm/trunk-jpl/src/c/classes/ToolkitOptions.cpp	(revision 14635)
@@ -9,4 +9,5 @@
 #endif
 
+#include <string.h>
 #include "./ToolkitOptions.h"
 #include "../include/types.h"
@@ -33,5 +34,5 @@
 
 }/*}}}*/
-char* TokenValue(char* tokenlist,char* target){ /*{{{*/
+char* TokenValue(char* tokenlist,const char* target){ /*{{{*/
 
 	/*output:*/
Index: /issm/trunk-jpl/src/c/classes/ToolkitOptions.h
===================================================================
--- /issm/trunk-jpl/src/c/classes/ToolkitOptions.h	(revision 14634)
+++ /issm/trunk-jpl/src/c/classes/ToolkitOptions.h	(revision 14635)
@@ -27,5 +27,6 @@
 		static char* GetToolkitType(void);
 };
-char* TokenValue(char* tokenlist,char* target);
+
+char* TokenValue(char* tokenlist,const char* target);
 
 #endif  /* _TOOLKIT_OPTIONS_H */