regenerate the flexer files with a recent flexml, so that there is no undefined behav...

regenerate the flexer files with a recent flexml, so that there is no undefined behavior concerning the char after terminating nul in strings