travis: wrongly add ppa