[Gretl-devel] modtest: --quiet and --silent options partly not respected