fixing Travis CI configuration