Modify Travis-CI setting.