Issue #8: back to libtool