Z:gnu-gawk--499787-extension: library `=25s': does/nl

extension: bibliotheek '%s' definieert 'plugin_is_GPL_compatible' niet (%s)