arrowdodger <6yearold at gmail.com> writes: > Oh, right. It's only present in configure script itself. > > Okay, here is updated patch. That's quite right. Committed as r123376. Thanks!