Z:gnu-gawk--be5696-`=25s' is a gawk extension/en

`%s' is a gawk extension