adjusting travis config