[PATCH] gawk: Update to version 5.1.1