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