armadillo 9.700.2 -> 9.700.3