Do not add postgresql-pitti-ppa on debian.