Update gawk to latest. 4.1.1.