ost_TypeManager_Registration(3) on Linux

The text dd47aa56bd0c, as Debian 7 (Wheezy) shipped it.

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