Starlink patched version of Gnu libtool