bug#71470: test failure on CentOS 7

[Bruno Haible]

Paul Eggert wrote:
> I installed the 2nd patch.

I confirm that "make check" now passes on CentOS 7.

Bruno