fix travis file