Fix travis ci config