Another travis CI fix