Issue #10: fix a GemStone 2.4.x portability problem