attempt to work around bugs in PolyML 5.5.0