Introducing a new PPA version for the default provided by Travis CI