Adding Armadillo files