fix Travis CI integration