to upgrade to a new release of armadillo: 

- copy the armadillo file here
- replace the armadillo_bits directory by the one from the armadillo source

