fix travis-CI