Revive the pitti PPA; we want to use it for libpq5 etc