Fix travis CI.