On Fri, Oct 11, 2013 at 02:11:12PM +0200, Dirk Heinrichs wrote: > libtool-base -> gzip -> xz -> libtool-base gzip certainly should not be using a compressed distfile. Adam -- you've updated it last... Joerg