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

`%s' � un'estensione gawk