gawk: Updated to v4.1.1