Another Travis tweak to get ivy working