Make it easier to distribute gnulib-built libraries.