gawk: Update to 4.1.1