K 10 svn:author V 2 tg K 8 svn:date V 27 1996-12-23T07:26:19.000000Z K 7 svn:log V 135 Use the original version from EECS, not the patched linux stuff. Closes PR 2254. Submitted by: Julian Jenkins END