armadillo is built correctly