fix Travis CI setting