quick travis fix