fix a broken archive that was breaking dejagnu only (not lit)