K 10 svn:author V 6 marcus K 8 svn:date V 27 2002-08-29T15:56:23.000000Z K 7 svn:log V 110 Fix the build on -CURRENT. The thunks fix did _not_ make it into the 1.1 release. Submitted by: quite a few END