Linux version 4.19.144-rh174-20200910010734.xenU.x86_64
(tomcat(a)ci.build.***hosting.com) (gcc version 8.3.0 (Debian 8.3.0-6))
Turns out "rh" is not Red Hat but their own build signature.
But anyway, they are looking into what they have left out of the build and perhaps
shouldn't...
Hugh