SONAME bump for armadillo