[krbdev.mit.edu #1342] fix for requiring gawk

[Sam Hartman]

I think the problem is that we want people to run that target without
ever actually configuring Kerberos.  So depending on configure does
not seem like a good solution.