finally fix travis file