Fix for broken-as-shipped RedHat 7.2 system headers. Now we have