Use an ar script to combine the archives