update Armadillo 4.100 sources