Adjust armadillo minimum version to that shipped by Ubuntu 14.04