Z:gnu-gawk--3ad07a-turning off `--lint' due to as/en

turning off `--lint' due to assignment to `LINT'