remake for new gawk api (gawk-4.1.0)