Prefer gawk over awk if both are available.