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

'--lint' wordt uitgeschakeld wegens toewijzing aan 'LINT'