Travis fix

oops, forgot to add ppa