On Mon, Jun 30, 2014 at 08:29:56AM -0700, Paul Ramsey wrote: > And yes, I think we could safely remove it (maybe) and things would still work (probably) What version of libtool do you have ? --strk;