filename generated from the process-ID, rather than the default
Inet-document socket on port 9999. Hopefully this should resolve the
race-condition problems that have been affecting the "make test" part
of the build cycle when building packages for four systems
simultaneously under id-pbuild.sh