Import of GNU gawk