Upgrade gawk and specify AWK as awk ! gawk