Fix travis CI builds