Re: dfa.h fix for gawk

[Aharon Robbins]

> The only change I made was to add "[GAWK]" to the log entry...

Great. I'll try to remember to do that for any future changes that
are gawk-only.

Thanks,

Arnold