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

extension: libreria `%s': non definisce `plugin_is_GPL_compatible' (%s)