Hi, On Sat, Mar 14, 2020 at 12:36:34PM +0100, Rene Engelhard wrote: > Thinking about this now actually, maybe it suffices to use a > --disable-gui version of gengal.bin for -dev here... Will try.. Hmm, no, won't work. We don't build the nogui variant everywhere (double build), so we'd get a problem still on arm* (except arm64), mips*. Regards, Rene