patch for http://kermit.gemstone.com/bug?bug=42802