modified travis setting