errno extension for gawk
