fix travis-ci file