bug#71470: test failure on CentOS 7

Thanks for the report and fixes. Close call, but since CentOS 7 is still officially alive I installed the 2nd patch. (A plus is that 'configure' is a bit faster)

bug#71470: test failure on CentOS 7

Paul Eggert wrote: > I installed the 2nd patch. I confirm that "make check" now passes on CentOS 7. Bruno