[Gretl-devel] Re: Failed to compile 2020a on linux