Fix travis #7