fixing Travis CI