There are many AWK implementations, OSX I think have subpar AWK. GAWK was fast, last time checked.