Z:gnu-gawk--855ead-`extension' is a gawk extensio/ga

is feabhs�ch�n gawk � `extension'