re-configing travis ci