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

extension: Bibliothek »%s«: definiert »plugin_is_GPL_compatible« nicht (%s)