Fix travis config.ml