gawk: Update to version 4.1.0. (fix issue #13)