Add a workaround to fix a build problem when using osgmlnorm (activated
by $OPENJADE knob). The reason is still unclear, but it is likely
to be caused by some OpenSP's bug.

Spotted by: pav