Fix another broken travis