fix the Travis CI setting.