> (I lack the right version of autoconf et al. to regen, but it > was a simple change, so I just updated configure manually.) This tends to introduce dummy changes when someone does run the autotools :-( Cheers, Rafael