fix travis setting