Fix Travis CI integration.