Fix Travis CI integration