Workaround for the little Cocoapods+Travis CI problem.
Travis’ support is great.