Make 'syntaxstr' global into a std::string (instead of a char*)