make AWK to awk