Replace cmake ppa with a debian backport that is more frequently updated