[Gretl-devel] what happened to gretl-config?