fix awk/nawk/gawk discrimination