On 2020-05-11 14:14, Mathieu Arnold wrote: > Well, no, you could set: > > OPTIONS_DEFAULT_amd64= COMPAT32 > OPTIONS_DEFAULT_aarch64= COMPAT32 Figured that out. Thanks! --HPS