Possibly fix travis file