On Wed, 7 Nov 2018 at 21:23, Jan Vesely <jan.vesely at rutgers.edu> wrote: > yes. as long as the setting survives reconfigure+rebuild I'm fine. The provided option works in the usecase you're interested. I'm not sure why we're debating this bth. Emil