fix settings of travis