fixing Travis CI integration