The GNU version of Awk