curl: version bumped to 7.31.0.