Re: SONAME bump for armadillo