correct the Armadillo release name for 4.600