Updating Armadillo version to 4.400.2