adjust Travis CI configuration