--- FSMDesigner4-1.2/src/xmlcreate/xmlsave.cpp	2006-09-01 05:20:32.000000000 -0700
+++ FSMDesigner4-1.2/src/xmlcreate/xmlsave.cpp.ne	2008-12-19 16:46:45.000000000 -0800
@@ -25,7 +25,7 @@
 
 #include <fstream>
 #include <iostream>
-#include <string>
+#include <cstring>
 
 #include "../core_I.h"
 #include "../fsm_I.h"
--- FSMDesigner4-1.2/src/verification/main.cpp	2007-11-22 00:47:04.000000000 -0800
+++ FSMDesigner4-1.2/src/verification/main.cpp.new	2008-12-19 17:24:05.000000000 -0800
@@ -28,6 +28,7 @@
 #include <string>
 #include <vector>
 #include <iostream>
+#include <cstdlib>
 
 int print_usage()
 {