armadillo 9.400.4 -> 9.500.2