modify pg to use official pg .deb repos instead of ppa