Add ppa for CMake to fix 32bit precompiled cmake on 64bit