Fix last Travis script