added armadillo headers