bug#71470: test failure on CentOS 7

[Paul Eggert]

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....)