ost_TypeManager_Registration(3) on Linux

The text 00e34fe34ae8, as Debian 10 (Buster) shipped it.

This manages a registration to the typemanager - attempting to remove problems with the optimisers.