Fix travis CI support