fix travis setting.