added travis setting