Issue #46: correct the GemStone version