K 10 svn:author V 5 steve K 8 svn:date V 27 1999-04-25T17:53:36.000000Z K 7 svn:log V 124 Revert previous commit. It broke 'make world' with NOSHARED=yes because it was using the wrong library. Submitted by: bde END