travis file modification