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

gawk-� ������� ����� ���� `extension'