Fix travis config yet again...