Update Armadillo to 4.100.2