Install only armadillo from trusty universe, then remove that ppa.