Upgraded gawk to v4.1.1