gcc80: Shorten build time in libraries target.