Adjusting travis config.