Fix travis configure line...