fix travis ci file