Adjusting travis config