The version of libtool we use is has not yet been restored to

the gnu download site.  Use the source from the debian site
instead.