This update for gawk fixes the following issues:
{ "binaries": [ { "gawk": "4.2.1-150000.3.3.1" } ] }