Really add armadillo