modify travis file