Update Armadillo to 4.100.1