one more try to fix travis-CI.