armadillo 4.000.0