--- Help.h.orig 2014-01-01 10:24:05.000000000 -0800 +++ Help.h 2014-01-01 10:24:10.000000000 -0800 @@ -2,7 +2,7 @@ * generated from the original HTML file by the script, help.py. */ -static char* HelpString = +static const char* HelpString = "\n" "\n" "\n"