Armadillo (bugfix) release 4.000.2 packaged as RcppArmadillo 0.4.000.2