updated travis setting