travis: use PPA only if it is needed