Avoid using gawk, where generic awk is enough