changed another travis setting