Fix travis ci file