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

is feabhs�ch�n gawk � `%s'