[Gretl-users] Re: frequent macOS popup about the "otool" command