The gnu version of awk
