> > On Wed, Oct 30, 2019 at 3:59 PM Mark Linimon linimon at lonesome.com wrote: > > > > I take it, you all guys have DYNAMIC_ARCH=OFF ? Indeed, I had DYNAMIC_ARCH=OFF. I set it on and now everything is fine. Thank you. Lorenzo Salvadore.