On Mon, Oct 13, 2014 at 10:27:31AM -0700, Bart Schaefer wrote: > > Maybe the right thing is to use all possible such mechanisms at the same > time, rather than attempt to choose just one at configure time. Thanks. I'll try to figure out a patch.