Try another work-around for Travis