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

”extension” on gawk-laajennus