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

`%s' es una extensión de gawk