PBI-10 Approval: gawk 4.1.0 (ken)