Issue #55: update lineup to more recent versions of GemStone