--- 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() {