fix travis setting again