Bump armadillo to 4.3200