Normal awk seems to work, but use gawk if it's around.

Some people don't have gawk in their path...