Adjusting travis file