armadillo 9.200.7 -> 9.200.8