7.5.4.4. Other
There are currently a few other platform dependencies.
I'm working on fixing this. That is, I will at least
try to isolate
such code in such a way that re-installation or upgrading
of interscript will not clobber client modifications.
This WILL happen at present!