Try a different ppa for travis.