Patch for Ubuntu PPA autobuild with CMake