fix travis.ci file