The GNU version of the awk text processing utility